(assert (xor (exists ((?a Int)) (= 0 ?a))))
(check-sat)
